CoMet: Comparative Methodology A Technical Note: Transport Systems
نویسنده
چکیده
We present “standard” domain description and requirements prescription exam-ples using the RAISE [106] Specification Language, RSL [104]. The illustrated exampleis that of transportation networks.The purpose of this technical note is to serve as one of hopefully several “devel-opments” of transportation networks using different approaches, including differentspecification languages, in addition to RSL also Alloy [130], CafeOBJ [103], Event B[3], VDM [101] and Z [221].The objective of developing “similar” specifications is for the corresponding tech-nical notes to serve as a basis for teaching “varieties of formal methods” and forresearching their “differences”. We call this objective for comparative methodology,CoMet.
منابع مشابه
Multi-Objective Lead Time Control in Multistage Assembly Systems (TECHNICAL NOTE)
In this paper we develop a multi-objective model to optimally control the lead time of a multistage assembly system. The multistage assembly system is modeled as an open queueing network, whose service stations represent manufacturing or assembly operations. The arrival processes of the individual parts of the product, which should be assembled to each other in assembly stations, are assumed to...
متن کاملHeat Transfer on Peristaltic Transport with Slip Condition in an Asymmetric Porous Channel (TECHNICAL NOTE)
Simultaneous effects of slip and heat transfer on peristaltic transport of an incompressible electrically conducting viscous fluid in an asymmetric channel is studied under the assumptions of long wavelength and low Reynold number .The asymmetry is produced by choosing the peristaltic wave train on the walls to have different amplitudes and phase.Exect solutions for stream function,velocity ...
متن کاملReduction of Odometry Error in a two Wheeled Differential Drive Robot (TECHNICAL NOTE)
Pose estimation is one of the vital issues in mobile robot navigation. Odometry data can be fused with absolute position measurements to provide better and more reliable pose estimation. This paper deals with the determination of better relative localization of a two wheeled differential drive robot by means of odometry by considering the influence of parameters namely weight, velocity, wheel p...
متن کاملSizing of a Packed Bed Storage for Solar Air Heating Systems (TECHNICAL NOTE)
Packed bed units generally, represent the most suitable storage units for air heating solar systems. In these systems the storage unit receives the heat from the collector during the collection period and discharges the heat to the building at the retrieval process. A method for sizing of packedbed storage in an air heating system is represented. The design is based on the K-S curves, which hav...
متن کاملResearch on Safety Risk of Dangerous Chemicals Road Transportation Based on Dynamic Fault Tree and Bayesian Network Hybrid Method (TECHNICAL NOTE)
Safety risk study on road transportation of hazardous chemicals is a reliable basis for the government to formulate transportation planning and preparing emergent schemes, but also is an important reference for safety risk managers to carry out dangerous chemicals safety risk managers. Based on the analysis of the transport safety risk of dangerous chemicals at home and abroad, this paper studi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010